University of Cambridge Computer Laboratory

Results: 746



#Item
21Are Virtual Machine Monitors Microkernels Done Right? Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Dan Magenheimer† University of Cambridge Computer Laboratory † HP Labs, Fort Collins, USA 1

Are Virtual Machine Monitors Microkernels Done Right? Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Dan Magenheimer† University of Cambridge Computer Laboratory † HP Labs, Fort Collins, USA 1

Add to Reading List

Source URL: www.usenix.org

- Date: 2005-09-17 20:24:25
    221 Strategies as Concurrent Processes Simon Castellan∗ Jonathan Hayman∗ Marc Lasson† Glynn Winskel∗ ∗ Computer Laboratory, University of Cambridge

    1 Strategies as Concurrent Processes Simon Castellan∗ Jonathan Hayman∗ Marc Lasson† Glynn Winskel∗ ∗ Computer Laboratory, University of Cambridge

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    - Date: 2014-02-05 12:53:18
      23Real World Patterns of Failure in Anonymity Systems Richard Clayton, George Danezis, and Markus G. Kuhn University of Cambridge, Computer Laboratory, Gates Building, JJ Thompson Avenue, Cambridge CB3 0FD, United Kingdom

      Real World Patterns of Failure in Anonymity Systems Richard Clayton, George Danezis, and Markus G. Kuhn University of Cambridge, Computer Laboratory, Gates Building, JJ Thompson Avenue, Cambridge CB3 0FD, United Kingdom

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      - Date: 2001-06-13 10:38:25
        24LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979

        LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979

        Add to Reading List

        Source URL: events.inf.ed.ac.uk

        - Date: 2012-10-10 03:52:06
          25GEODESIC MODELLING OF PLANETARY RELIEF G E O F F R E Y DUTTON, Laboratory for Computer Graphics and Spatial Analysis, Graduate School of Design, Harvard University, Cambridge, Massachusetts, USA

          GEODESIC MODELLING OF PLANETARY RELIEF G E O F F R E Y DUTTON, Laboratory for Computer Graphics and Spatial Analysis, Graduate School of Design, Harvard University, Cambridge, Massachusetts, USA

          Add to Reading List

          Source URL: mapcontext.com

          - Date: 2008-08-29 23:56:54
            26Exciting and interesting: issues in the generation of binomials Ann Copestake Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK

            Exciting and interesting: issues in the generation of binomials Ann Copestake Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK

            Add to Reading List

            Source URL: www.cl.cam.ac.uk

            - Date: 2011-07-23 01:39:36
              27Acquiring Ontological Relationships from Wikipedia Using RMRS Aurelie Herbelot and Ann Copestake University of Cambridge, Computer Laboratory, J. J. Thomson Avenue, Cambridge, United Kingdom ,ann.copestake

              Acquiring Ontological Relationships from Wikipedia Using RMRS Aurelie Herbelot and Ann Copestake University of Cambridge, Computer Laboratory, J. J. Thomson Avenue, Cambridge, United Kingdom ,ann.copestake

              Add to Reading List

              Source URL: www.cl.cam.ac.uk

              - Date: 2006-11-14 18:34:40
                28Context-Aware Computing with Sound Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Laboratory for Communication Engineering, University of Cambridge

                Context-Aware Computing with Sound Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Laboratory for Communication Engineering, University of Cambridge

                Add to Reading List

                Source URL: rich.recoil.org

                - Date: 2006-04-13 14:58:03
                  29Exploring the Stratified Shortest-Paths Problem Timothy G. Griffin Computer Laboratory University of Cambridge, UK

                  Exploring the Stratified Shortest-Paths Problem Timothy G. Griffin Computer Laboratory University of Cambridge, UK

                  Add to Reading List

                  Source URL: www.cs.stir.ac.uk

                  - Date: 2010-06-17 03:55:50
                    30Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building

                    Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building

                    Add to Reading List

                    Source URL: rich.recoil.org

                    - Date: 2006-04-13 14:58:00